package model.solver;

/**
 * Class for managing of RSat parameter.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public class RSatParameter extends SolverParameter {

	private boolean	printSolution	= false;

	/**
	 * 
	 * @return if it will get solution eventually find by rsat.
	 */
	public boolean isPrintSolution() {
		return printSolution;
	}

	/**
	 * Set to true if you it to get solution eventually find by rsat.
	 * 
	 * @param printSolution
	 *            if you want.
	 */
	public void setPrintSolution(boolean printSolution) {
		this.printSolution = printSolution;
	}

	/**
	 * Create a Rsat parameter.
	 */
	public RSatParameter() {
	}

	@Override
	public boolean basicCheck() {
		if (timeOut != NO_DELAY && timeOut < MIN_DELAY)
			return false;

		return true;
	}
}
